Using the contrapositive